1. Bayesian Approach to Global Optimization :
Author: by Jonas Mockus.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Information theory.
Classification :
QA402
.
5
B956
1989
2. Constructive Methods in Computing Science :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA75
.
5
E358
1989
3. Formalization of Programming Concepts:
Author: J Diaz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Software engineering.
Classification :
QA76
.
6
J353
1981
4. Mathematical foundations of computer science 1999 :
Author: Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.
5. Operations research and optimization :
Author: Samarjit Kar, Ujjwal Maulik, Xiang Li, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business logistics, Congresses.,Mathematical optimization, Congresses.,Operations research, Congresses.,Calculus of Variations and Optimal Control; Optimization.,Continuous Optimization.,Discrete Optimization.,Mathematics.,Operations Research, Management Science.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Business logistics.,Calculus of variations.,Mathematical optimization.,Operational research.,Operations research.,Optimization.
Classification :
T57
.
6
6. Programming and Mathematical Method :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1992
7. STACS 87 :
Author: edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science.,Computers.
8. Systematic Introduction to Expert Systems :
Author: by Frank Puppe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Management information systems.
Classification :
QA76
.
76
.
E95
B947
1993
9. The little typer /
Author: Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
Classification :
QA76
.
63
.
F75
2018
10. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
